41. Logic and its applications
پدیدآورنده : Burke, Edmund
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
42. Logic and its applications
پدیدآورنده : Burke, Edmund
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
43. Logic for applications
پدیدآورنده : Nerode, Anil, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
N47
44. Logic for computer scientists
پدیدآورنده : Schoning, Uwe, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
45. Logic for computer scientists
پدیدآورنده : Schoning, Uw
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
46. Logic for computer scientists
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming. ; Logic, Symbolic and mathematical. ;
47. Logic for computer scientists /
پدیدآورنده : Uwe Schöning.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده :
QA9
.
S363
1989
48. Logic for problem solving
پدیدآورنده : Kowalski, Robert
موضوع : ، Problem solving,، Electronic digital computer-- Programming,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
49. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
50. Logic, language, information, and computation :
پدیدآورنده : Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2019
51. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
52. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
53. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
54. Logical methods : in honor of Anil Nerode's Sixtieth birthday
پدیدآورنده : John N. Crossley...]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L63
55. Logical methods : in honor of Anil Nerode's sixtieth birthday
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L59
.
L64
1993
56. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
پدیدآورنده : J. Van Eijck )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
57. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
58. Logics in artificial intelligence :
پدیدآورنده : Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
59. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
60. Logics of specification languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
